Timed control for rectangular hybrid systems
نویسندگان
چکیده
In this work we develop an approach for the synthesis of the timed control of a class of hybrid systems modeled by rectangular hybrid automata. Our approach is within an automatic control view and is based on the reachable state spaces computation for any location. It consists of two steps, the first one being the computation of the control and the second being a step of the control propagation.
منابع مشابه
What ' s Decidable about Hybrid Automata ? 1
Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many veriication tasks for such programs can be expressed as reachability problems for hybrid au-tomata. By improving on previous decidability and un-decidability results, we identify the precise boundary between decidability and undecidability of the reachability problem for hybrid automat...
متن کاملWhat's Decidable About Hybrid Automata? y
Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many veri cation tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify a boundary between decidability and undecidability for the reachability problem of hybrid automata. On the po...
متن کاملDecidable Hybrid Systems
One of the most important analysis problems of hybrid systems is the reacha-bility problem. State of the art computational tools perform reachability computation for timed automata, multirate automata, and rectangular automata. In this paper, we extend the decidability frontier for classes of linear hybrid systems, which are introduced as hybrid systems with linear vector elds in each discrete ...
متن کاملMaximal permissive timed control for a class of hybrid systems
A timed control synthesis approach is proposed for a class of hybrid systems modeled with rectangular hybrid automata. The control objective is to constrain the reachable state spaces by the addition of control specifications which can be inconsistent with the system dynamics. Our approach is within an automatic control view and is based on the offline computation of the system new transition g...
متن کاملRectangular Hybrid Games
In order to study control problems for hybrid systems, we generalize hybrid automata to hybrid games |say, controller vs. plant. If we specify the continuous dynamics by constant lower and upper bounds, we obtain rectangular games. We show that for rectangular games with objectives expressed in Ltl (linear temporal logic), the winning states for each player can be computed, and winning strategi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012